Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
541	Environment Unrolling Steven Lyde and Matthew Might University of Utah Abstract. We propose a new way of thinking about abstract interpretation with a method we term environment unrolling. Model checkers for imperative l Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-12-26 13:28:21 Metalogic Model theory Normal distribution
542	Concrete and Abstract Interpretation: Better Together Maria Jenkins Leif Andersen Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-12-27 17:19:23 Abstract interpretation Galois connection Order theory Model theory Galois theory Structure Abstract algebra Mathematics Algebra
543	Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-12-27 17:19:23 Mathematics Logic in computer science Operational semantics Finite-state machine Model theory Algorithm Theoretical computer science Applied mathematics Automata theory
544	MULTISCALE MODEL. SIMUL. Vol. 12, No. 1, pp. 265–289 c 2014 Society for Industrial and Applied Mathematics Add to Reading List Source URL: www.math.uni-augsburg.de Language: English - Date: 2014-03-13 06:44:52 Differential geometry Algebraic geometry Field theory Valuation Symbol Differential geometry of curves Geodesic Γ-convergence Orbifold Abstract algebra Geometry Mathematical analysis
545	Causal Pluralism versus Epistemic Causality Jon Williamson To appear in Philosophica Draft of January 9, 2008 Abstract Add to Reading List Source URL: www.kent.ac.uk Language: English - Date: 2008-01-09 12:06:12 Epistemology Science Causality Justification Conditionals Theory of justification Metaphysics Action theory Rubin causal model Philosophy Philosophy of science Branches of philosophy
546	Machines as Engines of Growth Joseph Zeira The Hebrew University of Jerusalem and CEPR January[removed]Abstract Add to Reading List Source URL: eprints.luiss.it Language: English - Date: 2010-12-21 09:20:31 Manufacturing Marxist theory Welfare economics Productivity AK model JEL classification codes Capital accumulation Economic stagnation Fei–Ranis model of economic growth Economics Economic growth Macroeconomics
547	NOTES ON QUASI-CATEGORIES ´ JOYAL ANDRE Contents 1. Introduction Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2007-01-22 11:32:36 Category theory Mathematics Algebraic topology Simplicial set Model category Kan fibration Functor Fundamental group Nerve Abstract algebra Topology Homotopy theory
548	Microsoft Word - swarmfest-3-abstract.doc Add to Reading List Source URL: eco83.econ.unito.it Language: English - Date: 2005-05-03 15:45:11 Computing Simulation Complex systems theory Scientific modeling Self-organization Agent-based model NetLogo Repast Simulation language Science Multi-agent systems Artificial intelligence
549	Decidable Model-Checking for a Resource Logic with Production of Resources Natasha Alechina1 and Brian Logan1 and Hoang Nga Nguyen1 and Franco Raimondi2 Abstract. Several logics for expressing coalitional ability under r Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-24 12:32:32 Philosophy of language Philosophy of mind Semantics Metaphilosophy Philosophy Linear temporal logic Logic Model theory Interpretation
550	Consensus Games (Extended Abstract) Julian Zappala Natasha Alechina Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-03-30 08:29:34 Science Coalition government Coalition Consensus decision-making Multi-agent system Agent-based model Behavior Ethics Game theory Cooperative game

UPDATE